Shadow Symbolic Execution with Java PathFinder
نویسندگان
چکیده
منابع مشابه
Evaluation of Java PathFinder Symbolic Execution Extension
Executions of a system can follow di erent execution paths depending on the inputs to the system. In symbolic execution constraints over input values are generated during execution and these constraints are used to guide the execution so that every distinct execution path will be covered. Symbolic execution has gained a renewed interest among researchers since the recent advancements in decisio...
متن کاملAutomated Student Code Assessment with Symbolic Execution and Java Pathfinder
Automated Student Code Assessment with Symbolic Execution and Java PathFinder
متن کاملJPF-SE: A Symbolic Execution Extension to Java PathFinder
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and explore symbolic execution paths and it uses off-the-shelf decision procedures to manipulate numeric constraints.
متن کاملUsing Symbolic (Java) PathFinder at NASA
Symbolic (Java) PathFinder (SPF) is a symbolic execution tool that is used for the automated generation of test cases that satisfy various coverage criteria, such as condition, path and MC/DC coverage. The tool has been used at NASA, in academia, and in industry, most notably at Fujitsu. We describe our experience with using SPF and we identify some of the challenges for making the tool more us...
متن کاملOptimized Execution of Deterministic Blocks in Java PathFinder
Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic choices. JPF implements a backtracking Java Virtual Machine (JVM) that executes Java bytecodes using a special representation of JVM states. This special representation enables JPF to quickly store, restor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2018
ISSN: 0163-5948
DOI: 10.1145/3149485.3149492